Jabbour, Said: шукати на сайті Z-Library

Найбільша колекція наукових статей у сіті. 70,000,000+ безкоштовних статей.

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги
Статті (42)
Найпопулярніші
Перелік
- Перелік
- Таблиця

[IEEE 2018 IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA) - Krakow, Poland (2018.5.16-2018.5.18)] 2018 IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA) - Triangle-Driven Community Detection in Large Graphs Using Propositional Satisfiability

Jabbour, Said, Mhadbhi, Nizar, Raddaoui, Badran, Sais, Lakhdar

Рік:

2018

Мова:

english

Файл:

PDF, 210 KB

english, 2018

Mining Top-k motifs with a SAT-based framework

Jabbour, Said, Sais, Lakhdar, Salhi, Yakoub

Журнал:

Artificial Intelligence

Рік:

2015

Мова:

english

Файл:

PDF, 973 KB

english, 2015

SAT-Based Data Mining

Boudane, Abdelhamid, Jabbour, Saïd, Sais, Lakhdar, Salhi, Yakoub

Журнал:

International Journal of Artificial Intelligence Tools

Рік:

2018

Мова:

english

Файл:

PDF, 614 KB

english, 2018

Cloud service composition using minimal unsatisfiability and genetic algorithm

Ait Wakrime, Abderrahim, Rekik, Mouna, Jabbour, Said

Журнал:

Concurrency and Computation: Practice and Experience

Рік:

2019

Мова:

english

Файл:

PDF, 764 KB

english, 2019

SAT graph-based representation: A new perspective

Gilles Audemard, Said Jabbour, Lakhdar Sais

Журнал:

Journal of Algorithms

Рік:

2008

Мова:

english

Файл:

PDF, 434 KB

english, 2008

Learning from conflicts in propositional satisfiability

Youssef Hamadi, Saïd Jabbour, Lakhdar Saïs

Журнал:

4OR: A Quarterly Journal of Operations Research

Рік:

2012

Мова:

english

Файл:

PDF, 295 KB

english, 2012

LEARNING FOR DYNAMIC SUBSUMPTION

HAMADI, YOUSSEF, JABBOUR, SAÏD, SAÏS, LAKHDAR

Журнал:

International Journal of Artificial Intelligence Tools

Рік:

2010

Мова:

english

Файл:

PDF, 393 KB

english, 2010

LEARNING FROM SUCCESSES

JABBOUR, SAÏD

Журнал:

International Journal of Artificial Intelligence Tools

Рік:

2010

Мова:

english

Файл:

PDF, 334 KB

english, 2010

[IEEE 2009 21st IEEE International Conference on Tools with Artificial Intelligence (ICTAI) - Newark, New Jersey, USA (2009.11.2-2009.11.4)] 2009 21st IEEE International Conference on Tools with Artificial Intelligence - Learning for Dynamic Assignments Reordering

Jabbour, Saïd

Рік:

2009

Мова:

english

Файл:

PDF, 345 KB

english, 2009

[IEEE 2014 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP) - Torino, Italy (2014.02.12-2014.02.14)] 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing - An Effective Distributed D&C Approach for the Satisfiability Problem

Audemard, Gilles, Hoessen, Benoit, Jabbour, Said, Piette, Cedric

Рік:

2014

Мова:

english

Файл:

PDF, 173 KB

english, 2014

[IEEE 2009 21st IEEE International Conference on Tools with Artificial Intelligence (ICTAI) - Newark, New Jersey, USA (2009.11.2-2009.11.4)] 2009 21st IEEE International Conference on Tools with Artificial Intelligence - Learning for Dynamic Subsumption

Hamadi, Youssef, Jabbour, Saïd, Saïs, Lakhdar

Рік:

2009

Мова:

english

Файл:

PDF, 343 KB

english, 2009

[IEEE 2011 IEEE International Conference on Data Mining Workshops (ICDMW) - Vancouver, BC, Canada (2011.12.11-2011.12.11)] 2011 IEEE 11th International Conference on Data Mining Workshops - A Constraint Programming Approach for Enumerating Motifs in a Sequence

Coquery, Emmanuel, Jabbour, Saïd, Saïs, Lakhdar

Рік:

2011

Мова:

english

Файл:

PDF, 210 KB

english, 2011

[IEEE 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI) - Herndon, VA, USA (2013.11.4-2013.11.6)] 2013 IEEE 25th International Conference on Tools with Artificial Intelligence - Symmetry-Based Pruning in Itemset Mining

Jabbour, Said, Khiari, Mehdi, Sais, Lakhdar, Salhi, Yakoub, Tabia, Karim

Рік:

2013

Мова:

english

Файл:

PDF, 600 KB

english, 2013

[IEEE 2014 IEEE International Conference on Information Reuse and Integration (IRI) - Redwood City, CA, USA (2014.8.13-2014.8.15)] Proceedings of the 2014 IEEE 15th International Conference on Information Reuse and Integration (IEEE IRI 2014) - Extending modern SAT solvers for models enumeration

Jabbour, Said, Lonlac, Jerry, Sais, Lakhdar, Salhi, Yakoub

Рік:

2014

Мова:

english

Файл:

PDF, 141 KB

english, 2014

[IEEE 2014 IEEE 26th International Conference on Tools with Artificial Intelligence (ICTAI) - Limassol, Cyprus (2014.11.10-2014.11.12)] 2014 IEEE 26th International Conference on Tools with Artificial Intelligence - Diversification by Clauses Deletion Strategies in Portfolio Parallel SAT Solving

Guo, Long, Jabbour, Said, Lonlac, Jerry, Sais, Lakhdar

Рік:

2014

Мова:

english

Файл:

PDF, 1.13 MB

english, 2014

[ACM Press the 22nd ACM international conference - San Francisco, California, USA (2013.10.27-2013.11.01)] Proceedings of the 22nd ACM international conference on Conference on information & knowledge management - CIKM '13 - Boolean satisfiability for sequence mining

Jabbour, Said, Sais, Lakhdar, Salhi, Yakoub

Рік:

2013

Мова:

english

Файл:

PDF, 560 KB

english, 2013

[ACM Press the 22nd ACM international conference - San Francisco, California, USA (2013.10.27-2013.11.01)] Proceedings of the 22nd ACM international conference on Conference on information & knowledge management - CIKM '13 - Mining-based compression approach of propositional formulae

Jabbour, Said, Sais, Lakhdar, Salhi, Yakoub, Uno, Takeaki

Рік:

2013

Мова:

english

Файл:

PDF, 679 KB

english, 2013

[IEEE 2014 IEEE 26th International Conference on Tools with Artificial Intelligence (ICTAI) - Limassol, Cyprus (2014.11.10-2014.11.12)] 2014 IEEE 26th International Conference on Tools with Artificial Intelligence - On the Characterization of Inconsistency: A Prime Implicates Based Framework

Jabbour, Said, Ma, Yue, Raddaoui, Badran, Sais, Lakhdar

Рік:

2014

Мова:

english

Файл:

PDF, 762 KB

english, 2014

What we can learn from conflicts in propositional satisfiability

Hamadi, Youssef, Jabbour, Saïd, Saïs, Lakhdar

Журнал:

Annals of Operations Research

Рік:

2016

Мова:

english

Файл:

PDF, 789 KB

english, 2016

[IEEE 2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI) - Vietri sul Mare, Italy (2015.11.9-2015.11.11)] 2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI) - Mining to Compress Table Constraints

Jabbour, Said, Roussel, Stephanie, Sais, Lakhdar, Salhi, Yakoub

Рік:

2015

Мова:

english

Файл:

PDF, 235 KB

english, 2015

[IEEE 2015 IEEE 12th International Conference on e-Business Engineering (ICEBE) - Beijing, China (2015.10.23-2015.10.25)] 2015 IEEE 12th International Conference on e-Business Engineering - Relaxation Based SaaS for Repairing Failed Queries over the Cloud Computing

Wakrime, Abderrahim Ait, Benbernou, Salima, Jabbour, Said

Рік:

2015

Мова:

english

Файл:

PDF, 297 KB

english, 2015

PD07-10 EFFECT OF BARIATRIC SURGERY ON SEMEN PARAMETERS AND HORMONE PROFILE; A PROSPECTIVE OBSERVATIONAL STUDY.

Majzoub, Ahmad, Arafa, Mohamed, Al Said, Sami, Jabbour, Gaby, Basha, Moataz, Sabanegh, Edmund, El Bardisi, Haitham

Журнал:

The Journal of Urology

Рік:

2016

Мова:

english

Файл:

PDF, 1.06 MB

english, 2016

[IEEE 2015 5th International Conference on Information & Communication Technology and Accessibility (ICTA) - Marrakech (2015.12.21-2015.12.23)] 2015 5th International Conference on Information & Communication Technology and Accessibility (ICTA) - On QoS web service composition using satisfiability

Wakrime, Abderrahim Ait, Jabbour, Said

Рік:

2015

Мова:

english

Файл:

PDF, 152 KB

english, 2015

[IEEE 2015 15th International Conference on Intelligent Systems Design and Applications (ISDA) - Marrakech (2015.12.14-2015.12.16)] 2015 15th International Conference on Intelligent Systems Design and Applications (ISDA) - Minimum Unsatisfiability based QoS Web Service Composition over the Cloud Computing

Wakrime, Abderrahim Ait, Jabbour, Said

Рік:

2015

Мова:

english

Файл:

PDF, 421 KB

english, 2015

Effect of bariatric surgery on semen parameters and sex hormone concentrations: a prospective study

El Bardisi, Haitham, Majzoub, Ahmad, Arafa, Mohamed, AlMalki, Ahmad, Al Said, Sami, Khalafalla, Kareim, Jabbour, Gaby, Basha, Moataz, Al Ansari, Abdulla, Sabanegh, Edmund

Журнал:

Reproductive BioMedicine Online

Рік:

2016

Мова:

english

Файл:

PDF, 804 KB

english, 2016

[IEEE 2015 IEEE/ACS 12th International Conference of Computer Systems and Applications (AICCSA) - Marrakech, Morocco (2015.11.17-2015.11.20)] 2015 IEEE/ACS 12th International Conference of Computer Systems and Applications (AICCSA) - Parallel SAT based closed frequent itemsets enumeration

Dlala, Imen Ouled, Jabbour, Said, Sais, Lakhdar, Salhi, Yakoub, Yaghlane, Boutheina Ben

Рік:

2015

Мова:

english

Файл:

PDF, 674 KB

english, 2015

[IEEE 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI) - San Jose, CA, USA (2016.11.6-2016.11.8)] 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI) - Itemset Mining with Penalties

Jabbour, Said, Kaci, Souhila, Sais, Lakhdar, Salhi, Yakoub

Рік:

2016

Мова:

english

Файл:

PDF, 210 KB

english, 2016

[IEEE 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI) - San Jose, CA, USA (2016.11.6-2016.11.8)] 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI) - A SAT-Based Approach for Enumerating Interesting Patterns from Uncertain Data

Dlala, Imen Ouled, Jabbour, Said, Raddaoui, Badran, Sais, Lakhdar, Ben Yaghlane, Boutheina

Рік:

2016

Мова:

english

Файл:

PDF, 233 KB

english, 2016

[IEEE 2016 International Conference on Electrical and Information Technologies (ICEIT) - Tangiers, Morocco (2016.5.4-2016.5.7)] 2016 International Conference on Electrical and Information Technologies (ICEIT) - Web Service Composition as minimal unsatisfiability

Wakrime, Abderrahim Ait, Jabbour, Said, Belabed, Amine

Рік:

2016

Мова:

english

Файл:

PDF, 352 KB

english, 2016

Quantifying conflicts in propositional logic through prime implicates

Jabbour, Said, Ma, Yue, Raddaoui, Badran, Sais, Lakhdar

Журнал:

International Journal of Approximate Reasoning

Рік:

2017

Мова:

english

Файл:

PDF, 812 KB

english, 2017

[IEEE 2016 IEEE International Conference on Big Data (Big Data) - Washington DC,USA (2016.12.5-2016.12.8)] 2016 IEEE International Conference on Big Data (Big Data) - Summarizing big graphs by means of pseudo-boolean constraints

Jabbour, Said, Mhadhbi, Nizar, Mhadhbi, Abdesattar, Radaoui, Badran, Sais, Lakhdar

Рік:

2016

Мова:

english

Файл:

PDF, 163 KB

english, 2016

[IEEE 2016 IEEE/ACS 13th International Conference of Computer Systems and Applications (AICCSA) - Agadir, Morocco (2016.11.29-2016.12.2)] 2016 IEEE/ACS 13th International Conference of Computer Systems and Applications (AICCSA) - On repairing queries in cloud computing

Wakrime, Abderrahim Ait, Jabbour, Said

Рік:

2016

Мова:

english

Файл:

PDF, 730 KB

english, 2016

[IEEE 2017 IEEE 26th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) - Poznan, Poland (2017.6.21-2017.6.23)] 2017 IEEE 26th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) - Formal Approach for QoS-Aware Cloud Service Composition

Wakrime, Abderrahim Ait, Jabbour, Said

Рік:

2017

Мова:

english

Файл:

PDF, 277 KB

english, 2017

[ACM Press the International Conference - Leipzig, Germany (2017.08.23-2017.08.26)] Proceedings of the International Conference on Web Intelligence - WI '17 - Handling conflicts in uncertain ontologies using deductive argumentation

Bouzeghoub, Amel, Jabbour, Said, Ma, Yue, Raddaoui, Badran

Рік:

2017

Мова:

english

Файл:

PDF, 650 KB

english, 2017

Mining Negatives Association Rules Using Constraints

Jabbour, Said, El Mazouri, Fatima Ezzahra, Sais, Lakhdar

Журнал:

Procedia Computer Science

Рік:

2018

Мова:

english

Файл:

PDF, 278 KB

english, 2018

[IEEE 2018 IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA) - Krakow, Poland (2018.5.16-2018.5.18)] 2018 IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA) - Triangle-Driven Community Detection in Large Graphs Using Propositional Satisfiability

Jabbour, Said, Mhadbhi, Nizar, Raddaoui, Badran, Sais, Lakhdar

Рік:

2018

Файл:

PDF, 210 KB

2018

A MaxSAT based approach for QoS cloud services

Ait Wakrime, Abderrahim, Jabbour, Said, Hameurlain, Nabil

Журнал:

International Journal of Parallel Emergent and Distributed Systems

Рік:

2018

Мова:

english

Файл:

PDF, 1.18 MB

english, 2018

Revisiting the Learned Clauses Database Reduction Strategies

Jabbour, Saïd, Lonlac, Jerry, Saïs, Lakhdar, Salhi, Yakoub

Журнал:

International Journal of Artificial Intelligence Tools

Рік:

2018

Мова:

english

Файл:

PDF, 246 KB

english, 2018

Breaking Symmetries in Association Rules

Mazouri, Fatima-Zahra El, Jabbour, Said, Raddaoui, Badran, Sais, Lakhdar, Abounaima, Mohammed Chaouki, Zenkouar, Khalid

Журнал:

Procedia Computer Science

Рік:

2019

Мова:

english

Файл:

PDF, 316 KB

english, 2019

SAT-based models for overlapping community detection in networks

Jabbour, Said, Mhadhbi, Nizar, Raddaoui, Badran, Sais, Lakhdar

Журнал:

Computing

Рік:

2020

Файл:

PDF, 718 KB

2020

Deterministic Parallel DPLL

Hamadi, Youssef, Jabbour, Said, Piette, Cedric, Sais, Lakhdar

Журнал:

Journal on Satisfiability, Boolean Modeling and Computation

Рік:

2011

Файл:

PDF, 570 KB

2011

ManySAT: a Parallel SAT Solver

Hamadi, Youssef, Jabbour, Said, Sais, Lakhdar, Hamadi, Youssef

Журнал:

Journal on Satisfiability, Boolean Modeling and Computation

Рік:

2009

Файл:

PDF, 753 KB

2009